projects / emacs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9bbe6ea) | patch
Fix value type inference for doubly negate constraints
authorAndrea Corallo <akrl@sdf.org>
Fri, 18 Dec 2020 17:37:16 +0000 (18:37 +0100)
committerAndrea Corallo <akrl@sdf.org>
Mon, 21 Dec 2020 19:22:03 +0000 (20:22 +0100)
commit6f3570cd4a615caa02c3d86320049a5631ab9b25
tree27bab0576314c686aba381a461bb9436f9261082tree | snapshot
parent9bbe6eab6c160a454f2705c00ff3aea7f0c6e6c1commit | diff
Fix value type inference for doubly negate constraints

* lisp/emacs-lisp/comp.el (comp-fwprop-insn): Do not propagate in
case of double negation.
* test/src/comp-test-funcs.el (comp-test-assume-double-neg-f):
New function.
* test/src/comp-tests.el (assume-double-neg): New test.
lisp/emacs-lisp/comp.el diff | blob | history
test/src/comp-test-funcs.el diff | blob | history
test/src/comp-tests.el diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.